Instance Verification Kit (IVK)
spin lock @ [11674+45+/linux-3.19-rc1/drivers/infiniband/hw/qib/qib_tx.c]
Instance Signature: pioavail_lock
The Matching Pair Graph:
|
Function Name
|
Control Flow Graph (CFG)
|
Events Flow Graph (EFG)
|
Source Correspondence
|
qib_chg_pioavailkernel
|
|
|
[11390+22+/linux-3.19-rc1/drivers/infiniband/hw/qib/qib_tx.c]
|